Nuprl Definition : locl
0,22
postcript
pdf
locl(
a
) == inr(
a
)
latex
FDL editor aliases
locl
origin